package edu.pku.sei.transformation.structure;

public class Clause extends Domain {

}
